#correspondencia informal-formal

Lean-GAP: Dataset de álgebra formalizada para posgrado

Descubre Lean-GAP: 430 problemas de álgebra formalizados en Lean 4. Pipeline automatizado con verificación humana. Desafíos y metodología.